Dr. Norihiro Kamide

Aktuelle Kontaktadresse

Land	Japan
Ort	Tokyo
Universität/Institution	Cyber University
Institut/Abteilung	Faculty of Information Technology and Business

Fachgebiet	Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Philosophie,Theoretische Informatik
Keywords	completeness theorem, Substructural logic, cut-elimination theorem, modal operator, natural deduction system